A ramificação da matemática que lida com as propriedades puramente lógicas da probabilidade. Seus teoremas são o suporte da maioria dos métodos estatísticos.